Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
561	Scalable Prediction of Non-functional Properties in Software Product Lines Norbert Siegmund, Marko Rosenm¨uller Christian K¨astner, Paolo G. Giarrusso Sven Apel, Sergiy S. Kolesnikov University of Magdeburg, Germany P Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2011-05-17 10:04:56 Mathematical analysis Quantum field theory Feature model Analysis Spin Pi Feature interaction problem
562	Proposed Database Design for OmniLingua Prof. Dennis Shasha Dept of Computer Science Courant Institute, NYU Add to Reading List Source URL: linguistics.as.nyu.edu Language: English - Date: 2009-08-25 12:37:44 Data management Computing Data Database theory Relational model Data modeling Database Relational database Attribute Relation Entityattributevalue model Object-relational impedance mismatch
563	761 Documenta Math. A Bound for the Torsion in the K -Theory of Algebraic Integers Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-23 07:52:18 Mathematics Mathematical analysis Model theory Mathematical logic Structure Universal algebra Embedding Sigma-algebra Decomposition of spectrum
564	CHAPTER 8 Specifying the Characteristics of a Test 152 Add to Reading List Source URL: echo.edres.org Language: English - Date: 2003-02-12 10:19:52 Psychometrics Statistics Education Psychology Item response theory Rasch model Item bank Classical test theory Equating Statistical hypothesis testing Differential item functioning Computerized classification test
565	Microsoft Word - Revised Logic Model TGFV 6-8 Add to Reading List Source URL: www.toogoodprograms.org Language: English - Date: 2014-11-03 12:40:24 Behavior Action philosophy) Human behavior Crime Dispute resolution Ethics Violence Social learning theory Media literacy Bullying Interpersonal relationship School violence
566	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion
567	Journal of Artificial Intelligence ResearchSubmitted 3/11; published 7/11 Controlling Complexity in Part-of-Speech Induction João V. Graça Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2011-08-24 11:02:38 Markov models Estimation theory Statistical theory Bayesian statistics Regression analysis Expectationmaximization algorithm Hidden Markov model BaumWelch algorithm Part-of-speech tagging Maximum likelihood estimation Likelihood function KullbackLeibler divergence
568	The complexity of positive first-order logic without equality∗ Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. fmadelaine@laic.u-cler Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:55:46 Complexity classes Structural complexity theory FO Finite model theory Computational complexity theory IP Homomorphism NP Reduction Symbol P versus NP problem Model theory
569	EXECUTIVE COMMITTEE BOURNS COLLEGE OF ENGINEERING REPORT TO THE RIVERSIDE DIVISION MAY 24, 2016 To be adopted: Proposed Changes to Computer Science Undergraduate Requirements Add to Reading List Source URL: senate.ucr.edu Language: English - Date: 2016-05-18 17:32:06 FO Finite model theory Bourns College of Engineering CS
570	Unsupervised Learning with Optimal Kernels Sepp Hochreiter and Klaus Obermayer Technische Universit¨at Berlin Abstract We investigate the optimal kernel for sample-based model selection in unsupervised learning if maxim Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2013-01-23 02:37:15 Machine learning Nonparametric statistics Time series analysis Estimation theory Kernel density estimation Sepp Hochreiter Supervised learning Linux kernel Kernel Estimator

UPDATE